<?php
/**
 * 获取用户通过POST请求发送的输入参数
 */
function input($name, $default = '')
{
    $value = $default;
    if (isset($_POST[$name])) {
       if (gettype($_POST[$name]) == 'string') {
       	$value = htmlspecialchars($_POST[$name]);
       } else {
       	$value = $_POST[$name];
       }
    } 
    return $value;
}

/**
 * 操作成功的提示
 */
function redirect($info, $url = '../index.php')
{
    echo "<h1> $info </h1>";
    header('Refresh:3; url=' . $url);
}

/**
 * 给出输入数据验证错误提示，并跳转页面
 */
function error($info, $url = '') 
{
    echo "<h1> $info </h1>";
    header('Refresh:3; url=' . $url);
}